Knowledge Bases and Automorphic Equivalence of Multi-models versus Linear Spaces and Graphs
نویسندگان
چکیده
The paper considers an algebraic notion of automorphic equivalence of models and of multi-models. It is applied to the solution of the problem of informational equivalence of knowledge bases. We show that in the case of linear subjects of knowledge the problem can be reduced to the well-known in computational group theory problems about isomorphism and conjugacy of subgroups of a general linear group.
منابع مشابه
Knowledge bases over algebraic models. Some notes about informational equivalence
The recent advances in knowledge base research and the growing importance of effective knowledge management raised an important question of knowledge base equivalence verification. This problem has not been stated earlier, at least in a way that allows speaking about algorithms for verification of informational equivalence, because the informal definition of knowledge bases makes formal solutio...
متن کاملOn the topological equivalence of some generalized metric spaces
The aim of this paper is to establish the equivalence between the concepts of an $S$-metric space and a cone $S$-metric space using some topological approaches. We introduce a new notion of a $TVS$-cone $S$-metric space using some facts about topological vector spaces. We see that the known results on cone $S$-metric spaces (or $N$-cone metric spaces) can be directly obtained from...
متن کاملNew characterizations of fusion bases and Riesz fusion bases in Hilbert spaces
In this paper we investigate a new notion of bases in Hilbert spaces and similar to fusion frame theory we introduce fusion bases theory in Hilbert spaces. We also introduce a new denition of fusion dual sequence associated with a fusion basis and show that the operators of a fusion dual sequence are continuous projections. Next we dene the fusion biorthogonal sequence, Bessel fusion basis, Hil...
متن کاملOperator-valued bases on Hilbert spaces
In this paper we develop a natural generalization of Schauder basis theory, we term operator-valued basis or simply ov-basis theory, using operator-algebraic methods. We prove several results for ov-basis concerning duality, orthogonality, biorthogonality and minimality. We prove that the operators of a dual ov-basis are continuous. We also dene the concepts of Bessel, Hilbert ov-basis and obta...
متن کاملSECURING INTERPRETABILITY OF FUZZY MODELS FOR MODELING NONLINEAR MIMO SYSTEMS USING A HYBRID OF EVOLUTIONARY ALGORITHMS
In this study, a Multi-Objective Genetic Algorithm (MOGA) is utilized to extract interpretable and compact fuzzy rule bases for modeling nonlinear Multi-input Multi-output (MIMO) systems. In the process of non- linear system identi cation, structure selection, parameter estimation, model performance and model validation are important objectives. Furthermore, se- curing low-level and high-level ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010